high-vacuum diffusion pump - Deutsch Englisch Wörterbuch